Disunifier相关论文
<正>引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来......
文章讨论一阶反合一问题以及求反合一子完备集的算法。在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进......
